id.\*:("978-3-540-48928-3")
Results 1 to 1 of 1
Selection :
Leveraging applications of formal methods (First international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004)Margaria, Tiziana; Steffen, Bernhard.Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, VIII-196 p, isbn 978-3-540-48928-3Conference Proceedings